A Formal Account of Nondeterministic and Failed Actions
نویسندگان
چکیده
Nondeterminism is pervasive in all but the simplest action domains: an agent may flip a coin or pick up a different object than intended, or an action may fail and may fail in different ways. In this paper we provide a qualitative theory of nondeterminism. The account is based on an epistemic extension to the situation calculus that accommodates sensing actions. Our position is that nondeterminism is an epistemic phenomenon, and that the world is most usefully regarded as deterministic. Nondeterminism arises from an agent’s limited awareness and perception. The account offers several advantages: an agent has a set of categorical (as opposed to probabilistic) beliefs, yet can deal with equallylikely outcomes (such as in flipping a fair coin) or with outcomes of differing plausibility (such as an action that may on rare occasion fail).
منابع مشابه
Nondeterministic Actions and the Frame Problem
We describe a logical system and methodology for the natural specification of nondeterministic actions. The logic combines elements of dynamic logic, process logic and the situation calculus and allows one to express alternative (actual and possible) paths or sequences of events. Our system permits a simple solution to the frame problem for nondeterministic actions that “completes” user-supplie...
متن کاملPlanning with Nondeterministic Actions and Sensing
Many planning problems involve nondeterministic actions actions whose effects are not completely determined by the state of the world before the action is executed. In this paper we consider the computational complexity of planning in domains where such actions are available. We give a formal model of nondeterministic actions and sensing, together with an action language for specifying planning...
متن کاملA Formalization of Equilibria for Multiagent Planning
Traditionally, planning involves a single agent for which a planner needs to find a sequence of actions that can transform some initial state into some state where a given goal statement is satisfied. But in general, “planning” can be viewed as being concerned with a general action selection problem. The planning framework has been extended from the classical deterministic plan generation probl...
متن کاملProbabilistic Reasoning about Actions in Nonmonotonic Causal Theories
We present the language PC+ for probabilistic reasoning about actions, which is a generaliza tion of the action language C + that allows to deal with probabilistic as well as nondeterministic ef fects of actions. We define a formal semantics of PC+ in terms of probabilistic transitions be tween sets of states. Using a concept of a history and its belief state, we then show how several im po...
متن کاملA model of contingent planning for agent programming languages
In this paper, we develop a formal model of planning for an agent that is operating in a dynamic and incompletely known environment. We assume that both the agent’s task and the behavior of the agents in the environment are expressed as high-level nondeterministic concurrent programs in some agent programming language (APL). In this context, planning must produce a deterministic conditional pla...
متن کامل